This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lee masThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lee mas